TRACE-CLASS INTERPOLATION FOR VECTORS IN TRIDIAGONAL ALGEBRAS
نویسندگان
چکیده
منابع مشابه
Poincaré Supersymmetry Representations Over Trace Class Noncommutative Graded Operator Algebras
We show that rigid supersymmetry theories in four dimensions can be extended to give supersymmetric trace (or generalized quantum) dynamics theories, in which the supersymmetry algebra is represented by the generalized Poisson bracket of trace supercharges, constructed from fields that form a trace class noncommutative graded operator algebra. In particular, supersymmetry theories can be turned...
متن کاملWave-equation trace interpolation
Spatial aliasing in multichannel seismic data can be overcome by solving an inversion in which the model is the section that would be recorded in a well sampled zero-offset experiment, and the data are seismic data after normal moveout (NMO). The formulation of the (linear) relation between the data and the model is based on the wave equation and on Fourier analysis of aliasing. A processing se...
متن کاملImproper Filtrations for C-algebras: Spectra of Unilateral Tridiagonal Operators
Let A ⊆ B(H) be a C∗-algebra of operators and let P1 ≤ P2 ≤ . . . be an increasing sequence of finite dimensional projections in B(H). In a previous paper [3] we developed methods for computing the spectrum of self adjoint operators T ∈ A in terms of the spectra of the associated sequence of finite dimensional compressions PnTPn. In a suitable context, we showed that this is possible when Pn in...
متن کاملA Framework for State and Trace Interpolation
We address the problem of reasoning about interleavings in safety verification of concurrent processes. In the literature, there are two prominent techniques for pruning the search space. First, there is state-based interpolation where a collection of formulas can be generalized by taking into account the property to be verified. Second, there are trace-based methods, collectively known as “Par...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Korean Mathematical Society
سال: 2002
ISSN: 1015-8634
DOI: 10.4134/bkms.2002.39.1.063